Testing Small Set Expansion in General Graphs

We consider the problem of testing small set expansion for general graphs. A graph G is a (k, φ)expander if every subset of volume at most k has conductance at least φ. Small set expansion has recently received significant attention due to its close connection to the unique games conjecture, the local graph partitioning algorithms and locally testable codes. We give testers with two-sided error and one-sided error in the adjacency list model that allows degree and neighbor queries to the oracle of the input graph. The testers take as input an n-vertex graph G, a volume bound k, an expansion bound φ and a distance parameter ε > 0. For the two-sided error tester, with probability at least 2/3, it accepts the graph if it is a (k, φ)expander and rejects the graph if it is ε-far from any (k∗, φ∗)-expander, where k∗ = Θ(kε) and φ∗ = Θ( φ 4 min{log(4m/k),logn}·(ln k) ). The query complexity and running time of the tester are Õ( √ mφ−4ε−2), where m is the number of edges of the graph. For the one-sided error tester, it accepts every (k, φ)-expander, and with probability at least 2/3, rejects every graph that is ε-far from (k∗, φ∗)-expander, where k∗ = O(k1−ξ) and φ∗ = O(ξφ2) for any 0 < ξ < 1. The query complexity and running time of this tester are Õ( √ n ε3 + k εφ4 ). We also give a two-sided error tester in the rotation map model that allows (neighbor, index) queries and degree queries. This tester has asymptotically almost the same query complexity and running time as the two-sided error tester in the adjacency list model, but has a better performance: it can distinguish any (k, φ)-expander from graphs that are ε-far from (k∗, φ∗)expanders, where k∗ = Θ(kε) and φ∗ = Θ( φ 2 min{log(4m/k),logn}·(ln k) ). In our analysis, we introduce a new graph product called non-uniform replacement product that transforms a general graph into a bounded degree graph, and approximately preserves the expansion profile as well as the corresponding spectral property. 1998 ACM Subject Classification F.2.2 Nonnumerical Algorithms and Problems